<?php
session_start();
if ( isset( $_SESSION[ "modulo" ] ) ) {
    $modulo = $_SESSION[ "modulo" ];
} else {
	header("Location: ../login/");
    exit();
}
?>